-- Expected output: 1
DEF MAIN:nat == div(3, 2)

